<?php
$dev=false;